Reducción al absurdo para validez de un razonamiento